#include "task.h"
#include "lib.h"
#include "timer.h"

static void thandler(void *arg)
{
	mprintf("hello timer %s\n", arg);
}

void user_task0(void)
{
	char *test = "test sucess";
	mprintf("Task 0: Created!\n");

	timer_create(thandler, "timer0", test, 10);

	while(1) {
		mprintf("Task 0: Running...\n");
		task_delay(10000);
		// task_yield();
	}
}

void user_task1(void)
{
	mprintf("Task 1: Created!\n");
	while(1) {
		mprintf("Task 1: Running...\n");
		task_delay(10000);
		// task_yield();
	}
}
